1. ......................
پدیدآورنده : ISILC Proof Theory Symposium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
3. A bridge to advanced mathematics
پدیدآورنده : Sentilles, Dennis
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Arithmetic-- Foundations
رده :
QA
9
.
S44
4. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
5. A middle way to God
پدیدآورنده : Hallett, Garth
کتابخانه: Special Library of University of Religions (Qom)
موضوع : Proof ، God,، Theism,، Other minds )Theory of knowledge(
رده :
BT
102
.
H336
2003
6. A middle way to God
پدیدآورنده : Garth L. Hallett
کتابخانه: State Department Library (Tehran)
موضوع : God- Proof,Other minds (Theory of knowledge)
7. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
8. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
9. Advances in Proof Theory
پدیدآورنده : \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory -- Congresses.
رده :
E-Book
,
10. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
11. An accompaniment to higher mathematics
پدیدآورنده : Exner, George R.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E96
12. An accompaniment to higher mathematics
پدیدآورنده : Exner, George R.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E96
1996
13. An introduction to mathematical reasoning :
پدیدآورنده : Peter J. Eccles
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory
رده :
QA9
.
54
.
E23
1997
14. An introduction to mathematical reasoning: lectures on numbers, sets, and functions
پدیدآورنده : Eccles, Peter J.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E23
1997
15. An introduction to mathematical reasoning: numbers, sets and functions
پدیدآورنده : Eccles, Peter J.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E23
1997
16. An introduction to mathematical reasoning : numbers, sets and functions
پدیدآورنده : Eccles, Peter J., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
E22
17. An introduction to the language of mathematics /
پدیدآورنده : Frédéric Mynard.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
رده :
QA9
.
54
18. Analysis :
پدیدآورنده : Steven R. Lay.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis.,Proof theory.,Mathematical analysis.,Proof theory.
رده :
QA300
.
L427
2006
19. Analysis: An introduction to proof
پدیدآورنده : Steven R. Lay
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Mathematical analysis,Proof theory
رده :
QA
,
300
,.
L427
20. Analysis:an introduction to proof
پدیدآورنده : LAY,STEVEN R
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MATHEMATICAL ANALYSIS , PROOF THEORY
رده :
QA
300
.
L427
